1. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
2. Frege's Theorem
پدیدآورنده : \ Richard G. Heck, Jr
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
3. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
4. Fundamentals of Critical Argumentation
پدیدآورنده : / Douglas N. Walton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
5. Logic and Knowledge
پدیدآورنده : \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
6. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
7. Logic and knowledge : essays, 1901-1950
پدیدآورنده : / Bertrand Russell,راس‍ل,Russell
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فلسفه,منطق ریاضی
رده :
B
۱۶۴۹
/
ر
۲
ل
۲ ۱۳۳۵
8. Meaning and Necessity
پدیدآورنده : / by Rudolf Carnap
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
9. Mits, wits, and logic
پدیدآورنده : / text by Lillian R. Lieber
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی,علوم, -- فلسفه
رده :
BC
۱۳۵
/
ل
۹
م
۹ ۱۳۳۹
10. Paradoxes
پدیدآورنده : / Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
11. Philosophy and logical syntax
پدیدآورنده : /by Rudolf Carnap.,ک‍ارن‍اپ,Carnap
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی,زبان,فلسفه
رده :
BC
۱۳۵
/
ک
۲
ف
۲ ۱۳۱۴
12. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
13. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
14. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
15. The foundations of mathematics
پدیدآورنده : / by Frank Plumpton Ramsey
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQA
۹
/
ر
۸ ۱۳۷۹
16. The limits of science: qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appendix by Helen Charlotte
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم روش‌ش‍ن‍اس‍ی,ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
17. The nature of mathematics: a critical survey
پدیدآورنده : / Max Black
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ب
۸ ۱۳۸۰
18. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
19. Tractatus Logico-Philosophicus
پدیدآورنده : /Ludwing Wittgenstein.,وی‍ت‍گ‍ن‍ش‍ت‍ای‍ن,Wittgenstein
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی, -- فلسفه
رده :
QA
۹
/
و
۹
ت
۴ ۱۳۴۰
20. Tractatus logico-philosophicus
پدیدآورنده : / by Ludwig Wittgenstein,وی‍ت‍گ‍ن‍ش‍ت‍ای‍ن,Wittgenstein
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی,زبان, -- فلسفه, -- فلسفه
رده :
B
۳۳۷۶
/
و
۹
ت
۴ ۱۳۴۲
